Simplifying logarithms without calculator